Belief revision - PDFSEARCH.IO - Document Search Engine

Belief revision
Results: 146

#	Item
121	Automating Belief Revision in AgentSpeak Natasha Alechina1 , Rafael H. Bordini2 , Jomi Fred H¨ubner 3, Mark Jago1 , and Brian Logan1 1 School of Computer Science Add to Reading List Source URL: www.cs.nott.ac.uk Language: English - Date: 2009-09-11 12:40:28 Science AgentSpeak Jason Belief revision Logic programming Algorithm Programming language Belief–desire–intention model Epistemology Multi-agent systems Computing Artificial intelligence
122	Journal of Logic and Computation Advance Access published October 10, 2006 The Dynamics of Syntactic Knowledge THOMAS A˚GOTNES, Department of Informatics, University of Bergen P.B. 7800, N-5020 Bergen, Norway. E-mail: Add to Reading List Source URL: www.cs.nott.ac.uk Language: English - Date: 2009-09-20 10:30:44 Philosophical logic Model theory Metalogic Modal logic Epistemic modal logic Non-monotonic logic First-order logic FO Belief revision Logic Mathematical logic Non-classical logic
123	Computationally grounded account of belief and awareness for AI agents Natasha Alechina and Brian Logan Abstract We discuss the problem of designing a computationally grounded logic Add to Reading List Source URL: www.cs.nott.ac.uk Language: English - Date: 2012-06-25 11:54:02 Artificial intelligence Multi-agent systems Philosophy of language Branches of philosophy Modal logic 2APL Epistemic modal logic Belief revision Interpretation Logic Science Mathematical logic
124	aamas06-agentspeak-belief-revision.dvi Add to Reading List Source URL: www.cs.nott.ac.uk Language: English - Date: 2009-09-11 12:40:28 Science AgentSpeak Belief revision Jason Theory of justification Belief–desire–intention model Belief Non-monotonic logic Epistemology Multi-agent systems Artificial intelligence Computing
125	Resource-bounded belief revision and contraction Natasha Alechina, Mark Jago, and Brian Logan School of Computer Science University of Nottingham Nottingham, UK {nza,mtw,bsl}@cs.nott.ac.uk Add to Reading List Source URL: www.cs.nott.ac.uk Language: English - Date: 2009-09-11 12:40:28 Logic programming Knowledge representation Belief revision Logic Theory of justification J Software engineering Computer programming Computing
126	Distance Semantics for Relevance-Sensitive Belief Revision Extended Abstract1 Pavlos Peppas,2 Samir Chopra,3 and Norman Foo4 1 Add to Reading List Source URL: drops.dagstuhl.de Language: English - Date: 2007-11-20 06:41:33 Propositional calculus Deduction Functions and mappings Entailment Logical consequence Metalogic Belief revision Interpretation Function Logic Mathematical logic Mathematics
127	0 0.1 General information Applicant Add to Reading List Source URL: myfiles.uni-regensburg.de Language: English - Date: 2015-01-07 05:38:55 Knowledge Indicative conditional Counterfactual conditional Material conditional Belief revision Causality Psychology of reasoning Modus ponens Reason Conditionals Logic Science
128	EDS - Surface Dispositions User Manual April 25, 2012 EDS-Surface Dispositions User Manual Revision History Add to Reading List Source URL: portal.aer.ca Language: English - Date: 2013-12-01 20:18:47 X Window System Software Belief Disposition
129	The Effect of Syntactic Form on Simple Belief Revisions and Updates Renée Elio Department of Computing Science University of Alberta Edmonton, Alberta T6G 2H1 Add to Reading List Source URL: www.sfu.ca Language: English - Date: 2004-03-31 23:15:51 Logical truth Dichotomies Modus tollens Modus ponens Belief revision Validity Epistemology Deduction theorem Logic Rules of inference Propositional calculus
130	Bibliography[removed]ISO/IEC JTC1/SC21 N[removed]Database language SQL, April[removed]ISO/IEC JTC1/SC21 N[removed]Database language SQL (SQL3), June[removed]A+76] M. M. Astrahan et al. System R: a relational approach t Add to Reading List Source URL: webdam.inria.fr Language: English - Date: 2010-02-12 06:45:47 Computing Data modeling Database theory Computer science Belief revision Database ACM SIGACT Relational model Semantic data model Database management systems Data management Knowledge representation